SC-Haskell

نویسندگان
چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Typing Haskell in Haskell

Haskell benefits from a sophisticated type system, but implementors, programmers, and researchers suffer because it has no formal description. To remedy this shortcoming, we present a Haskell program that implements a Haskell typechecker, thus providing a mathematically rigorous specification in a notation that is familiar to Haskell users. We expect this program to fill a serious gap in curren...

متن کامل

Evaluating Haskell in Haskell

There are several Haskell interpreters, such as Hugs and GHCi, but none (as far I’m aware) are implemented in Haskell. For performance reasons, C appears to be the implementation language of choice. This article presents a simple Haskell interpreter – called the Haskell Haskell interpreter, or hhi for short – that is written in Haskell and that performs quite competitively with Hugs and GHCi. T...

متن کامل

An Editor in Haskell for Haskell

Yi is a text editor written in Haskell and extensible in Haskell. We take advantage of Haskell’s expressive power to define embedded DSLs that form the foundation of the editor. In turn, these DSLs provide a flexible mechanism to create extended versions of the editor. Yi also provides some support for editing Haskell code.

متن کامل

Haskell Rules: Embedding Rule Systems in Haskell

We present a domain-specific embedded language that allows the definition of rule systems in Haskell. As one particular example, we consider the modeling of type systems, which is an important part of programming language design. Type systems are most conveniently described using rule systems. Our approach is well integrated into Haskell’s type system and thus facilitates the convenient modelin...

متن کامل

Formulating Haskell

The functional programming language Haskell is examined from the point of view of proving programs correct. Particular features explored include the data type deenition facilities, classes, the behaviour of patterns and guards and the monad approach to IO in the Glasgow Haskell compiler.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: ACM SIGPLAN Notices

سال: 2017

ISSN: 0362-1340,1558-1160

DOI: 10.1145/3155284.3018746